#ifndef TIMER_H
#define TIMER_H

#include <types.h>

void timer_init();

#endif
